Nuprl Definition : rng_times 13,42
* == (r.2.2.2.2.2.2).1 
latex

clarification:

*r == (r.2.2.2.2.2.2).1 
latex

Uprng sig object directory
Wellformedness Lemmasrng times wf
Definitionst.1, t.2

origin